Distinguishing geometries using finite quotients
نویسندگان
چکیده
منابع مشابه
Quotients of incidence geometries
We develop a theory for quotients of geometries and obtain sufficient conditions for the quotient of a geometry to be a geometry. These conditions are compared with earlier work on quotients, in particular by Pasini[11] and Tits[15]. MSC2000 : 05B25, 51E24, 20B25.
متن کاملOn Distinguishing Quotients of Symmetric Groups
A study is carried out of the elementary theory of quotients of symmetric groups in a similar spirit to [10]. Apart from the trivial and alternating subgroups, the normal subgroups of the full symmetric group S(μ) on an infinite cardinal μ are all of the form Sκ(μ) = the subgroup consisting of elements whose support has cardinality < κ, for some κ ≤ μ. A many-sorted structure Mκλμ is defined wh...
متن کاملLearning Finite Automata Using Local Distinguishing Experiments
One of the open problems listed in Rivest and Schapire is whether and how that the copies of L in their algorithm can be com bined into one for better performance This paper describes an algorithm called D that does that combination The idea is to represent the states of the learned model using observable symbols as well as hidden symbols that are con structed during learning These hidden sym b...
متن کاملTorus quotients as global quotients by finite groups
This article is motivated by the following local-to-global question: is every variety with tame quotient singularities globally the quotient of a smooth variety by a finite group? We show that this question has a positive answer for all quasi-projective varieties which are expressible as a quotient of a smooth variety by a split torus (e.g. simplicial toric varieties). Although simplicial toric...
متن کاملFinite quotients of controllable systems
Finite abstractions of infinite state models have been critical in enabling and applying formal and algorithmic verification methods to continuous and hybrid systems. This has triggered the study and characterization of classes of continuous dynamics which can be abstracted by finite transition systems. In this paper, we focus on synthesis rather than analysis. In this spirit, we show that give...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geometry & Topology
سال: 2017
ISSN: 1364-0380,1465-3060
DOI: 10.2140/gt.2017.21.345